Buy Used and New Thomas Wies Books

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers: 10712 (Lecture Notes in Computer Science)

by Andrei Paskevich,Thomas Wies

ISBN 13: 9783319723075

Format: Paperback (228 pages)
Publisher: Springer
Published: 15 Dec 2017

Save for later

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... (Lecture Notes in Computer Science, 13182)

by Bernd Finkbeiner,Thomas Wies

ISBN 13: 9783030945824

Format: Paperback (530 pages)
Publisher: Springer
Published: 14 Jan 2022

Save for later